void f()
{
    int x;
    int y;
    y = x;
    if ((y = x) != 0)
        for (;;)
            if (x)
                return;
}
